package LivenessCheckOfFreeChoiceNet;


public class test {
	public static void main(String args[])
	{
		int[][]a1={
				{1,0,0,0},
				{0,0,1,0},
				{0,0,0,1},
				{1,0,0,0},
				{0,1,0,0}
		};
		int[][]a2={
				{0,1,0,0},
				{1,0,0,0},
				{1,0,0,0},
				{0,0,0,0},
				{0,0,1,1}
				
		};
		int []a3={0,0,0,0,0};
		FreeChoiceNet p =new FreeChoiceNet(5,4,a1,a2,a3);
		p.findDeadLock(p.DeadLockTree.root);
		p.DeadLockTree.myprint();
	}

}
